With Quasi - linear Queries EXP is not
نویسنده
چکیده
We investigate the lower bounds of queries required by the polynomial time Turing reductions from exponential time classes to the sets of small density. For complexity classes E= DTIME(2 O(n)) and EXP=DTIME(2 n O(1)), the following results are shown in this paper. (1) For any a < 1, every EXP-P n a ?T-hard set is exponentially dense. This yields EXP6 6 P n a ?T (SPARSE) for all a < 1. (2)For any a <
منابع مشابه
Quasi-linear equations with a small diffusion term and the evolution of hierarchies of cycles
We study the long time behavior (at times of order exp(λ/ε2)) of solutions to quasi-linear parabolic equations with a small parameter ε2 at the diffusion term. The solution to a PDE can be expressed in terms of diffusion processes, whose coefficients, in turn, depend on the unknown solution. The notion of a hierarchy of cycles for diffusion processes was introduced by Freidlin and Wentzell and ...
متن کاملAgnostic Learning from Tolerant Natural Proofs
We generalize the “learning algorithms from natural properties” framework of [4] to get agnostic learning algorithms from natural properties with extra features. We show that if a natural property (in the sense of Razborov and Rudich [28]) is useful also against functions that are close to the class of “easy” functions, rather than just against “easy” functions, then it can be used to get an ag...
متن کاملFirst-Order Queries over One Unary Function
This paper investigates the complexity of query problem for first-order formulas on quasi-unary signatures, that is, on vocabularies made of a single unary function and any number of monadic predicates. We first prove a form of quantifier elimination result: any query defined by a quasi-unary first-order formula can be equivalently defined, up to a suitable linear-time reduction, by a quantifie...
متن کاملP-49: Study of Cetrorelix in Inhibition of Side Effect of Vinblastin Used in Chemotherapy on Germinal Epithelium in Mouse Testis
Background: Infertility problem affects young couples. One of the known causes of spermatogenic disorder is chemotherapy in patients with cancer. Since dividing cells are mainly affected by anticancer drugs, the aim of the present study is to investigate the preventive effect of GnRH on spermatogenic defect produced by anticancer drug. Materials and Methods: In the present study 30 adult female...
متن کاملLocally Testable Codes and PCPs of Almost - Linear Length ( Preliminary
Locally testable codes are error-correcting codes that admit very eecient codeword tests. Speciically, using a constant number of (random) queries, non-codewords are rejected with probability proportional to their distance from the code. Locally testable codes are believed to be the combinatorial core of PCPs. However, the relation is less immediate than commonly believed. Nevertheless, we show...
متن کامل